Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
491	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
492	EUROPEAN REPORT OONN DEVELOPMENT Regulatory framework for land acquisition Add to Reading List Source URL: erd-report.eu Language: English - Date: 2012-10-12 04:23:47 Earth Economic history Land management Land reform Marxist theory Sub-Saharan Africa Eminent domain Constitution Land law Africa Political geography Human rights
493	A rationale for semantically enhanced library languages Bjarne Stroustrup Department of Computer Science Texas A&M University College station, TX[removed]and AT&T Labs – Research Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:44 Programming language implementation Procedural programming languages Functional languages Cross-platform software Type theory C Preprocessor Domain-specific language Programming language Computing Software engineering Computer programming
494	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
495	Big Picture Deriving a whole Discrete Calculus Q you need first a discrete domain ¾ will induce the notion of chains Add to Reading List Source URL: ddg.cs.columbia.edu Language: English - Date: 2006-08-17 14:41:40 Differential geometry Differential calculus Group theory Mathematical structures Discrete exterior calculus Finite element method Discrete differential geometry Geometry Vector space Mathematics Algebra Mathematical analysis
496	Dichotomy for Holant∗ Problems of Boolean Domain Jin-Yi Cai∗ Pinyan Lu† Mingji Xia‡ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-07-10 15:42:02 Algebraic structures Mathematical structures Universal algebra Model theory Structure Integral transform Arity Field Mathematics Algebra Abstract algebra
497	Theory of Precognitive Dreams By Ian A. Wilson Public Domain, Copyright held by author. Abstract This paper examines the phenomena of precognitive dreams which are part of anomalous cognition and Add to Reading List Source URL: www.youaredreaming.org Language: English - Date: 2013-08-14 07:54:36 Dream Precognition Déjà vu Non-rapid eye movement sleep Lucid dream Rapid eye movement sleep Sleep Dreaming Mind Behavior
498	Dichotomy for Holant* Problems with a Function on Domain Size 3 arXiv:submit[removed]cs.CC] 10 Jul[removed]Jin-Yi Cai∗ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-07-10 14:19:30 Matrices Mathematical structures Boolean algebra Model theory Structure Universal algebra Adjacency matrix FKT algorithm Group action Mathematics Algebra Abstract algebra
499	COURSES design4X takes validated content created by domain experts and transforms it into accredited multimedia courses. These courses include animations with synchronized streaming video, audio, and thoughtfully designe Add to Reading List Source URL: design4x.com Language: English - Date: 2008-01-18 13:05:56 Systems engineering Quality Anticipatory thinking Decision theory Quality function deployment Supply chain management Supply chain Design for X Design methods Business Technology Management
500	Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners Blai Bonet H´ector Palacios Add to Reading List Source URL: www.dtic.upf.edu Language: English - Date: 2009-07-01 11:55:19 Control theory Stochastic control Automated planning and scheduling Markov processes Planning Domain Definition Language Finite-state machine Partially observable Markov decision process Fluent XTR Cybernetics Applied mathematics Systems theory

UPDATE